Testing of Object-Oriented Programs Based on Finite State Machines - Software Engineering Conference, 1995. Proceedings., 1995 Asia Pacific

In object-oriented testing literature, a class is considered to be a basic w i t of testing. A m,ajor characteristic of classes is the interaction between data m.cm<bers and mem,ber functionw. This interaction is representcd as dejhitions and uses of data members in member functions and can be properly modeled with f i ~ i , i t ~ state machines (FSM). I n this paper, we discuss how FSMs cun be effectively used for class testin,g. We dom.on,strate how to specify the behavior of classes usin,,q FSMs and presen,t a test case generation, technique Based on FSMs. In our technique, FSMs are transformed in,to a flow graph from, which we can eqlicitly idcntify dnta flows of the FSM. Then we gen~rate test cases using conventional data flow testin,g techniques upon. the flow graph#.